41. Interactions :
پدیدآورنده : edited by Vincent F. Hendricks ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Causality (Physics),Mathematical analysis-- Foundations.,Mathematics-- Philosophy.,Philosophy and science.,Physics-- Philosophy.,Science-- Philosophy.
42. Introduction to computational mathematics
پدیدآورنده : Yang, Xin-She.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Numerical analysis,، Algorithms,Foundations ، Mathematical analysis,، Programming )Mathematics(
رده :
QA
297
.
Y36
2008
43. Introduction to computational mathematics
پدیدآورنده : / Xin-She Yang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Numerical analysis,Algorithms,Mathematical analysis- Foundations,Programming (Mathematics)
رده :
QA297
.
Y36
2008
44. Introduction to computational mathematics /Xin-She Yang.
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Numerical analysis,Algorithms.,Mathematical analysis--Foundations.,Programming (Mathematics)
45. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
46. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
47. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
48. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
49. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
50. #Linear and non-linear numerical analysis of foundations
پدیدآورنده : #edited by John W. Bull
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Foundations -- Mathematical models ،Numerical analysis
رده :
#
TA
،#.
B85
،#
2009
51. Linear and non-linear numerical analysis of foundations
پدیدآورنده : / edited by John W. Bull
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Foundations--Mathematical models,Numerical analysis
رده :
TA775
.
B85
2009
52. Mathematical foundations of classical statistical mechanics: continous systems
پدیدآورنده : Petrina, Dmitrii Iakovlevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Statistical mechanics,Foundations ، Mathematical analysis
رده :
QC
174
.
8
.
P4813
2002
53. Number systems: a modern introduction
پدیدآورنده : / Mervin L. Keedy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Arithmetics - Foundations,Mathematical analysis
رده :
512
.
81
Ke-N
54. Number systems; a modern introduction Reading
پدیدآورنده : keedy . Mervin Laverne
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Arithmetic -- Foundations,Mathematical analysis
رده :
QA
248
.
3
.
K4
55. Number systems and the foundations of analysis
پدیدآورنده : Mendelson, Elliott.
موضوع : ، Number theory,، Mathematical analysis-- Foundations
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
56. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
57. Sets and numbers
پدیدآورنده : M.K. Singal and Asha Rani,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematical analysis- Foundations
رده :
QA
.
S5
299
.
8
1976
58. The continuum : a critical examination of the foundation of analysis, Kontinuum. English
پدیدآورنده : Weyl, Hermann
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematical analysis-- Foundations
رده :
QA
299
.
8
.
W4813
1994
59. The foundations of analysis :
پدیدآورنده : K.G. Binmore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical analysis-- Foundations
60. The foundations of analysis : a straightforward introduction
پدیدآورنده : K.G. Binmore,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematical analysis - Foundations
رده :
QA
.
B56
299
.
8
